(0 12 5)(1 20 6)(2 15 14)(3 19 17)(4 9 7)(8 13 10)(11 18 16)
ALLOWS (11/8)-SEQUENCE
1: (0 3 5)

(0)(1 20 6)(2 15 14)(3 12 5 19 17)(4 9 7)(8 13 10)(11 18 16)
2: (3 12 17)

(0)(1 20 6)(2 15 14)(3)(4 9 7)(5 19 17)(8 13 10)(11 18 16)(12)
3: (11 18 16)

(0)(1 20 6)(2 15 14)(3)(4 9 7)(5 19 17)(8 13 10)(11)(12)(16)(18)
4: (5 19 17)

(0)(1 20 6)(2 15 14)(3)(4 9 7)(5)(8 13 10)(11)(12)(16)(17)(18)(19)